On Grothendieck rings and algebraically constructible functions
نویسندگان
چکیده
منابع مشابه
Algebraically Constructible Functions
An algebraic version of Kashiwara and Schapira's calculus of constructible functions is used to describe local topological properties of real algebraic sets, including Akbulut and King's numerical conditions for a stratiied set of dimension three to be algebraic. These properties, which include generalizations of the invariants modulo 4, 8, and 16 of Coste and Kurdyka, are deened using the link...
متن کاملDescription of algebraically constructible functions
The algebraically constructible functions on a real algebraic set are the sums of signs of polynomials on this set. We prove a formula giving the minimal number of polynomials needed to write generically a given algebraically constructible function as a sum of signs. We also prove a characterization of the polynomials appearing in a generic presentation of the function with the minimal number o...
متن کاملAlgebraically Constructible Functions: Real Algebra and Topology
Algebraically constructible functions connect real algebra with the topology of algebraic sets. In this survey we present some history, definitions, properties, and algebraic characterizations of algebraically constructible functions, and a description of local obstructions for a topological space to be homeomorphic to a real algebraic set. More than three decades ago Sullivan proved that the l...
متن کاملAlgebraically Constructible Functions and Signs of Polynomials
Let W be a real algebraic set. We show that the following families of integervalued functions on W coincide: (i) the functions of the form w → χ(Xw), where Xw are the fibres of a regular morphism f : X → W of real algebraic sets, (ii) the functions of the form w → χ(Xw), where Xw are the fibres of a proper regular morphism f : X →W of real algebraic sets, (iii) the finite sums of signs of polyn...
متن کاملOn Relative Grothendieck Rings
Let K be a field of characteristic pi^O, to exclude trivial cases) and let G be a finite goup. A XG-module M is a finite dimensional K-vector space, on which G acts Jf-linearly from the left. The Green ring a(G) of G(w.r.t. K) is the free abelian group, spanned by the isomorphism classes of indecomposable i£G-modules, with the multiplication induced from the tensor product © x of KGmodules (see...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematische Annalen
سال: 2017
ISSN: 0025-5831,1432-1807
DOI: 10.1007/s00208-017-1564-9